On the Finite Model Property of Intuitionistic Modal Logics over MIPC
نویسندگان
چکیده
It is shown that every normal intuitionistic modal logic L over MIPC has the nite model property if there exists a universal rstorder sentence such that (1) L is characterized by the class of Kripke frames satisfying and (2) every Kripke frame that validates L satis es . Here, MIPC is a well-known intuitionistic modal logic introduced by Prior (1957).
منابع مشابه
On the Finite Model Property of Intuitionistic Modal Log - ics over MIPC 1 ) 2 )
MIPC is a well-known intuitionistic modal logic of Prior (1957) and Bull(1966). It is shown that every normal intuitionistic modal logic L over MIPC has the nite model property whenever L is Kripke-complete and universal. Mathematics Subject Classi cation: 03B45, 03B25.
متن کاملGlivenko Type Theorems for Intuitionistic Modal Logics
In this article we deal with Glivenko type theorems for intuitionistic modal logics over Prior’s MIPC. We examine the problems which appear in proving Glivenko type theorems when passing from the intuitionistic propositional logic Int to MIPC. As a result we obtain two different versions of Glivenko’s theorem for logics over MIPC. Since MIPC can be thought of as a one-variable fragment of the i...
متن کاملFinite Model Property for Some Intuitionistic Modal Logics
In this paper, we will show some logic has the finite model property by using filtration method. Although the filtration method for classical modal logics has been studied comprehensively, the method is not completely applied to intuitionistic modal logics yet.
متن کاملThe proof theory and semantics of intuitionistic modal logic
Possible world semantics underlies many of the applications of modal logic in computer science and philosophy. The standard theory arises from interpreting the semantic definitions in the ordinary meta-theory of informal classical mathematics. If, however, the same semantic definitions are interpreted in an intuitionistic metatheory then the induced modal logics no longer satisfy certain intuit...
متن کاملDualities for Some Intuitionistic Modal Logics
We present a duality for the intuitionistic modal logic IK introduced by Fischer Servi in [8, 9]. Unlike other dualities for IK reported in the literature (see for example [13]), the dual structures of the duality presented here are ordered topological spaces endowed with just one extra relation, which is used to define the set-theoretic representation of both 2 and 3. Also, this duality natura...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Math. Log. Q.
دوره 45 شماره
صفحات -
تاریخ انتشار 1999